例句與造句

1. For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language
   針對(duì)上述情況，本文中提出了一種方法，它基于約束滿足問(wèn)題求解方法和擴(kuò)展有限狀態(tài)機(jī)上的符號(hào)執(zhí)行算法，能夠?qū)語(yǔ)言子集描述的程序進(jìn)行分析。
2. In this thesis , we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism . based on path analysis and symbolic execution , we describe two methods , static analysis and dynamic analysis , for detecting data dependence of array variables in loops of sequential programs
   進(jìn)而提出了基于路徑分析和符號(hào)執(zhí)行的靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試方法，來(lái)研究串行程序中循環(huán)內(nèi)部數(shù)組變量的數(shù)據(jù)相關(guān)性，該方法對(duì)于下標(biāo)表達(dá)式為線性表達(dá)式時(shí)有很好的效果，而且能夠處理一些復(fù)雜的數(shù)組下標(biāo)表達(dá)式，比如數(shù)組下標(biāo)表達(dá)式含有輸入變量和非線性下標(biāo)表達(dá)式的情況。
3. It's difficult to find symbolic execution in a sentence. 用symbolic execution造句挺難的